Temporal relevant logic as the logical basis of autonomous evolutionary information systems

Unlike a traditional information system serving just as a storehouse of data or knowledge and working passively according to queries or transactions explicitly issued by users and application programs, an autonomous evolutionary information system serves as an autonomous and evolutionary partner of its users that discovers new knowledge from its database or knowledge-base autonomously, cooperates with its users in solving problems actively by providing the users with advices, and has a certain mechanism to improve its own state of “knowing” and ability of “working.” This paper explains why an autonomous evolutionary information system need a fundamental logic as its conceptual and theoretical basis and what requirements the fundamental logic should satisfy, and proposes that we should adopt temporal relevant logic as the fundamental logic to underlie autonomous evolutionary information systems.